@function r($px) {
  @return $px * 1px;
}
